CRIM ― Documentation/Communications Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers Editors
نویسندگان
چکیده
In this paper, we propose a method for verification the so-calledsaco-relation between an implementation and the specification LTSs. We showthat this verification can be finite and complete if the number of states andactions of LTSs is finite.
منابع مشابه
Guest Editorial for the Special Issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the Dependable Computing and Communications and Performance and Dependability Symposia
NOW more than ever, dependable computing systems, along with secure networking and communication infrastructures, are essential to critical applications and services. This is due, in particular, to the emergence of very large-scale systems made up of myriads of ever-evolving and often mobile computerized devices with numerous and complex interactions and interdependencies. Moreover, the increas...
متن کاملSpecial Issue for 13th International Industrial Engineering Conference (IIEC 2017)
This special issue is a collection of refereed articles selected from the 13th International Industrial Engineering Conference (IIEC 2017). The initial selection was made by Dr. Hamed Fazlollahtabar who also wrote the following description. The accepted articles were reviewed going through the usual reviewing process of IJOR. Nezam Mahdavi-Amiri Editor-in-Chief &nbs...
متن کاملProceedings of the 6th International Conference on Science and Social Research (CSSR)(Malaysia)
متن کامل
Electronic Government and Electronic Participation: Joint Proceedings of Ongoing Research of IFIP EGOV and IFIP ePart 2013, 16-19 September 2013, Koblenz, Germany
Preface Form ore than a decade, the International Federationf or Information Processing (IFIP) Working Group8 .5 (Information Systems in Public Administration), or short, IFIP WG 8.5, has organized the EGOV (international conferenceso n Electronic GOVernment) series of conferences, whichm eanwhile has solidly established itself as a core conference in the research domain of e-government and e-g...
متن کاملA Brief History of IFIP WG 8.2 Research: The People, the Places, the Methods, and the Issues
This panel will present a high-level examination of the research papers that have appeared in proceedings of the International Federation for Information Processing Working Group 8.2, which addresses the interaction between information systems and the organization. More specifically, Working Group 8.2 is " concerned with the generation and dissemination of descriptive and normative knowledge ab...
متن کامل